-- Test too much equal
    DEF def(X:nat, Y:nat):nat === 0		--= zu viel
    DEF MAIN:bool == true
